Paolo Zuliani: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Gravity for Detecting Caves: Airborne and Terrestrial Simulations Based on a Comprehensive Karstic Cave Benchmark

Braitenberg, Carla, Sampietro, Daniele, Pivetta, Tommaso, Zuliani, David, Barbagallo, Alfio, Fabris, Paolo, Rossi, Lorenzo, Fabbri, Julius, Mansi, Ahmed Hamdi

Journal:

Pure and Applied Geophysics

Year:

2016

Language:

english

File:

PDF, 4.40 MB

english, 2016

2

Le biguanidi nel trattamento dell'obesita'. Nota 1. Ricerca clinica controllata con placebo, anoressanti, fenformina e metformina

Luigi Cucurachi, Andrea Strata, Ugo Zuliani, Paolo Cucurachi, Alfonso Dell'Anna

Journal:

Acta Diabetologica

Year:

1968

File:

PDF, 1.51 MB

1968

3

Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualization

Misirli, Goksel, Cavaliere, Matteo, Waites, William, Pocock, Matthew, Madsen, Curtis, Gilfellon, Owen, Honorato-Zimmer, Ricardo, Zuliani, Paolo, Danos, Vincent, Wipat, Anil

Journal:

Year:

2016

Language:

english

File:

PDF, 1.07 MB

english, 2016

4

A Bayesian approach to modelling the impact of hydrodynamic shear stress on biofilm deformation

Oyebamiji, Oluwole K., Wilkinson, Darren J., Jayathilake, Pahala Gedara, Rushton, Steve P., Bridgens, Ben, Li, Bowen, Zuliani, Paolo, Nerenberg, Robert

Journal:

Year:

2018

Language:

english

File:

PDF, 6.52 MB

english, 2018

5

[IEEE 2010 IEEE International Solid- State Circuits Conference - (ISSCC) - San Francisco, CA, USA (2010.02.7-2010.02.11)] 2010 IEEE International Solid-State Circuits Conference - (ISSCC) - A 90nm 4Mb embedded phase-change memory with 1.2V 12ns read access time and 1MB/s write throughput

De Sandre, Guid, Bettini, Luca, Pirola, Alessandro, Marmonier, Lionel, Pasotti, Marco, Borghi, Massimo, Mattavelli, Paolo, Zuliani, Paola, Scotti, Luca, Mastracchio, Gianfranco, Bedeschi, Ferdinando,

Year:

2010

Language:

english

File:

PDF, 17.19 MB

english, 2010

6

Phase Change Memory for Automotive Grade Embedded NVM Applications

Cappelletti, Paolo, Annunziata, Roberto, Arnaud, Franck, Disegni, Fabio, Maurelli, Alfonso, Zuliani, Paola

Journal:

Journal of Physics D Applied Physics

Year:

2020

File:

PDF, 1.31 MB

2020

7

[Computational Biology] Automated Reasoning for Systems Biology and Medicine Volume 30 || Models, Devices, Properties, and Verification of Artificial Pancreas Systems

Liò, Pietro, Zuliani, Paolo

Year:

2019

Language:

english

File:

PDF, 988 KB

english, 2019

8

Fine Needle Biopsy Plus EUS-Guided Cholecystojejunostomy by LAMS With a Water-Filled Technique in a Patient With Roux-En-Y Reconstruction

Mangiavillano, Benedetto, Auriemma, Francesco, Mezzanzanica, Miriam, Bianchetti, Mario, Militello, Pietro, Chiari, Damiano, Veronesi, Paolo, Zuliani, Walter, Repici, Alessandro

Journal:

American Journal of Gastroenterology

Year:

2020

File:

PDF, 147 KB

2020

9

Cansiglio Karst Plateau: 10 Years of Geodetic–Hydrological Observations in Seismically Active Northeast Italy

Grillo, Barbara, Braitenberg, Carla, Nagy, Ildikó, Devoti, Roberto, Zuliani, David, Fabris, Paolo

Journal:

Pure and Applied Geophysics

Year:

2018

Language:

english

File:

PDF, 5.42 MB

english, 2018

10

A Design Methodology to Support the Optimization of Steel Structures

Cicconi, Paolo, Germani, Michele, Bondi, Sergio, Zuliani, Alessandro, Cagnacci, Emanuele

Journal:

Year:

2016

File:

PDF, 466 KB

2016

11

Anticholinergic Drug Use and Negative Outcomes Among the Frail Elderly Population Living in a Nursing Home

Landi, Francesco, Dell'Aquila, Giuseppina, Collamati, Agnese, Martone, Anna Maria, Zuliani, Giovanni, Gasperini, Beatrice, Eusebi, Paolo, Lattanzio, Fabrizia, Cherubini, Antonio

Journal:

Journal of the American Medical Directors Association

Year:

2014

Language:

english

File:

PDF, 246 KB

english, 2014

12

[IEEE First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07) - Shanghai, China (2007.06.6-2007.06.8)] First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07) - A Formal Derivation of Grover's Quantum Search Algorithm

Year:

2007

Language:

english

File:

PDF, 249 KB

english, 2007

13

Reasoning about faulty quantum programs

Journal:

Acta Informatica

Year:

2009

Language:

english

File:

PDF, 292 KB

english, 2009

14

[Computational Biology] Automated Reasoning for Systems Biology and Medicine Volume 30 || Methods for Personalised Delivery Rate Computation for IV Administered Anesthetic Propofol

Liò, Pietro, Zuliani, Paolo

Year:

2019

Language:

english

File:

PDF, 3.99 MB

english, 2019

15

Individual Based Model Links Thermodynamics, Chemical Speciation and Environmental Conditions to Microbial Growth

Gogulancea, Valentina, González-Cabaleiro, Rebeca, Li, Bowen, Taniguchi, Denis, Jayathilake, Pahala Gedara, Chen, Jinju, Wilkinson, Darren, Swailes, David, McGough, Andrew Stephen, Zuliani, Paolo, Ofi

Journal:

Frontiers in Microbiology

Year:

2019

File:

PDF, 3.08 MB

2019

16

Model Checking a Synchronous Diabetes-Cancer Logical Network

Gong, Haijun, Zuliani, Paolo, M. Clarke, Edmund

Journal:

Current Bioinformatics

Year:

2013

Language:

english

File:

PDF, 786 KB

english, 2013

17

Modelling bacterial twitching in fluid flows: a CFD-DEM approach

Jayathilake, Pahala Gedara, Li, Bowen, Zuliani, Paolo, Curtis, Tom, Chen, Jinju

Journal:

Scientific Reports

Year:

2019

Language:

english

File:

PDF, 2.30 MB

english, 2019

18

Starch quantification in woody tissues by reflectance spectroscopy and on-solid iodine complexation

Rustioni, Laura, Ciacciulli, Angelo, Zulini, Luca, Zuliani, Ester, Sivilotti, Paolo, Herrera, Jose Carlos

Journal:

Scientia Horticulturae

Year:

2017

Language:

english

File:

PDF, 366 KB

english, 2017

19

[Computational Biology] Automated Reasoning for Systems Biology and Medicine Volume 30 || Logic and Linear Programs to Understand Cancer Response

Liò, Pietro, Zuliani, Paolo

Year:

2019

Language:

english

File:

PDF, 878 KB

english, 2019

20

[IEEE 2012 Ninth International Conference on Quantitative Evaluation of Systems (QEST) - London, United Kingdom (2012.09.17-2012.09.20)] 2012 Ninth International Conference on Quantitative Evaluation of Systems - Statistical Model Checking for Markov Decision Processes

Henriques, David, Martins, Joao G., Zuliani, Paolo, Platzer, Andre, Clarke, Edmund M.

Year:

2012

Language:

english

File:

PDF, 622 KB

english, 2012

21

[Computational Biology] Automated Reasoning for Systems Biology and Medicine Volume 30 || Deep Learning with Convolutional Neural Networks for Histopathology Image Analysis

Liò, Pietro, Zuliani, Paolo

Year:

2019

File:

PDF, 314 KB

2019

22

Corrigendum to “Long-term GNSS measurements from the northern Adria microplate reveal fault-induced fluid mobilization”

Rossi, Giuliana, Zuliani, David, Fabris, Paolo

Journal:

Year:

2017

Language:

english

File:

PDF, 513 KB

english, 2017

23

Statistical model checking for biological applications

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2015

Language:

english

File:

PDF, 1.18 MB

english, 2015

24

[ACM Press the 18th International Conference - Seattle, Washington (2015.04.14-2015.04.16)] Proceedings of the 18th International Conference on Hybrid Systems Computation and Control - HSCC '15 - Towards personalized prostate cancer therapy using delta-reachability analysis

Liu, Bing, Kong, Soonho, Gao, Sicun, Zuliani, Paolo, Clarke, Edmund M.

Year:

2015

Language:

english

File:

PDF, 442 KB

english, 2015

25

[IEEE 2016 IEEE International High Level Design Validation and Test Workshop (HLDVT) - Santa Cruz, CA, USA (2016.10.7-2016.10.8)] 2016 IEEE International High Level Design Validation and Test Workshop (HLDVT) - High-level modeling and verification of cellular signaling

Miskov-Zivanov, Natasa, Zuliani, Paolo, Wang, Qinsi, Clarke, Edmund M., Faeder, James R.

Year:

2016

Language:

english

File:

PDF, 1.32 MB

english, 2016

26

A New Locus for Autosomal Recessive Hypercholesterolemia Maps to Human Chromosome 15q25-q26

Milco Ciccarese, Adolfo Pacifico, Giancarlo Tonolo, Paolo Pintus, Andrej Nikoshkov, Giovanni Zuliani, Renato Fellin, Holger Luthman, Mario Maioli

Journal:

The American Journal of Human Genetics

Year:

2000

Language:

english

File:

PDF, 728 KB

english, 2000

27

Predictors of Functional Changes in Italian Nursing Home Residents: The U.L.I.S.S.E. Study

Fedecostante, Massimiliano, Dell'Aquila, Giuseppina, Eusebi, Paolo, Volpato, Stefano, Zuliani, Giovanni, Abete, Pasquale, Lattanzio, Fabrizia, Cherubini, Antonio

Journal:

Journal of the American Medical Directors Association

Year:

2015

Language:

english

File:

PDF, 291 KB

english, 2015

28

NUFEB: A massively parallel simulator for individual-based modelling of microbial communities

Li, Bowen, Taniguchi, Denis, Gedara, Jayathilake Pahala, Gogulancea, Valentina, Gonzalez-Cabaleiro, Rebeca, Chen, Jinju, McGough, Andrew Stephen, Ofiteru, Irina Dana, Curtis, Thomas P., Zuliani, Paolo

Journal:

PLoS Computational Biology

Year:

2019

File:

PDF, 11.18 MB

2019

29

Pregnancy at forty and over: a case-control study

Vercellini, Paolo, Zuliani, Guglielmo, Rognoni, Maria Teresa, Trespidi, Laura, Oldani, Sabina, Cardinale, Anna

Journal:

European Journal of Obstetrics & Gynecology and Reproductive Biology

Year:

1993

Language:

english

File:

PDF, 368 KB

english, 1993

30

[ACM Press the International Conference - Wshington DC, USA (2013.09.22-2013.09.25)] Proceedings of the International Conference on Bioinformatics, Computational Biology and Biomedical Informatics - BCB'13 - Studies of biological networks with statistical model checking

Miskov-Zivanov, Natasa, Zuliani, Paolo, Clarke, Edmund M., Faeder, James R.

Year:

2007

Language:

english

File:

PDF, 188 KB

english, 2007

31

A low-cost method for estimating energy expenditure during soccer refereeing

Ardigò, Luca Paolo, Padulo, Johnny, Zuliani, Andrea, Capelli, Carlo

Journal:

Journal of Sports Sciences

Year:

2015

Language:

english

File:

PDF, 149 KB

english, 2015

32

[Computational Biology] Automated Reasoning for Systems Biology and Medicine Volume 30 ||

Liò, Pietro, Zuliani, Paolo

Year:

2019

Language:

english

File:

PDF, 16.28 MB

english, 2019

33

Genetic variants in the ErbB4 gene are associated with white matter integrity

Riccardo Zuliani, T. William J. Moorhead, Mark E. Bastin, Eve C. Johnstone, Stephen M. Lawrie, Paolo Brambilla, Michael C. O'Donovan, Michael J. Owen, Jeremy Hall, Andrew M. McIntosh

Journal:

Psychiatry Research: Neuroimaging

Year:

2011

Language:

english

File:

PDF, 296 KB

english, 2011

34

AIP Conference Proceedings [AIP 2011 INTERNATIONAL SYMPOSIUM ON COMPUTATIONAL MODELS FOR LIFE SCIENCES (CMLS-11) - Toyama City, (Japan) (11–13 October 2011)] - Model Checking of a Diabetes-Cancer Model

Gong, Haijun, Zuliani, Paolo, Clarke, Edmund M., Pham, Tuan D., Zhou, Xiaobo, Tanaka, Hiroshi, Oyama-Higa, Mayumi, Jiang, Xiaoyi, Sun, Changming, Kowalski, Jeanne, Jia, Xiuping

Year:

2011

Language:

english

File:

PDF, 369 KB

english, 2011

35

[Computational Biology] Automated Reasoning for Systems Biology and Medicine Volume 30 || Model Checking Approach to the Analysis of Biological Systems

Liò, Pietro, Zuliani, Paolo

Year:

2019

Language:

english

File:

PDF, 993 KB

english, 2019

36

[Computational Biology] Automated Reasoning for Systems Biology and Medicine Volume 30 || Stochastic Spatial Modelling of the Remyelination Process in Multiple Sclerosis Lesions

Liò, Pietro, Zuliani, Paolo

Year:

2019

Language:

english

File:

PDF, 659 KB

english, 2019

37

Analysis and verification of the HMGB1 signaling pathway

Haijun Gong, Paolo Zuliani, Anvesh Komuravelli, James R Faeder, Edmund M Clarke

Journal:

BMC Bioinformatics

Year:

2010

Language:

english

File:

PDF, 763 KB

english, 2010

38

Bayesian statistical model checking with application to Stateflow/Simulink verification

Zuliani, Paolo, Platzer, André, Clarke, Edmund M.

Journal:

Formal Methods in System Design

Year:

2013

Language:

english

File:

PDF, 985 KB

english, 2013

39

CFDâDEM modelling of biofilm streamer oscillations and their cohesive failure in fluid flow

Xia, Yuqing, Jayathilake, Pahala G., Li, Bowen, Zuliani, Paolo, Chen, Jinju

Journal:

Biotechnology and Bioengineering

Year:

2020

File:

PDF, 2.00 MB

2020

40

Compiling quantum programs

Journal:

Acta Informatica

Year:

2005

Language:

english

File:

PDF, 4.92 MB

english, 2005

41

[IEEE 2011 16th Asia and South Pacific Design Automation Conference ASP-DAC 2011 - Yokohama, Japan (2011.01.25-2011.01.28)] 16th Asia and South Pacific Design Automation Conference (ASP-DAC 2011) - Analog circuit verification by statistical model checking

Wang, Ying-Chih, Komuravelli, Anvesh, Zuliani, Paolo, Clarke, Edmund M.

Year:

2011

Language:

english

File:

PDF, 146 KB

english, 2011

42

[Computational Biology] Automated Reasoning for Systems Biology and Medicine Volume 30 || Towards the Integration of Metabolic Network Modelling and Machine Learning for the Routine Analysis of High-Throughput Patient Data

Liò, Pietro, Zuliani, Paolo

Year:

2019

Language:

english

File:

PDF, 609 KB

english, 2019

43

Individual Based Model Links Thermodynamics, Chemical Speciation and Environmental Conditions to Microbial Growth

Gogulancea, Valentina, González-Cabaleiro, Rebeca, Li, Bowen, Taniguchi, Denis, Jayathilake, Pahala Gedara, Chen, Jinju, Wilkinson, Darren, Swailes, David, McGough, Andrew Stephen, Zuliani, Paolo, Ofi

Journal:

Frontiers in Microbiology

Year:

2019

Language:

english

File:

PDF, 3.08 MB

english, 2019

44

[ACM Press the 2004 workshop - Newport Beach, California (2004.11.05-2004.11.05)] Proceedings of the 2004 workshop on Quantitative techniques for software agile process - QUTE-SWAP '04 - Deploying, updating, and managing tools for collecting software metrics

Sillitti, Alberto, Russo, Barbara, Zuliani, Paolo, Succi, Giancarlo

Year:

2004

Language:

english

File:

PDF, 343 KB

english, 2004

45

SHBG, Sex Hormones, and Inflammatory Markers in Older Women

Maggio, Marcello, Ceda, Gian Paolo, Lauretani, Fulvio, Bandinelli, Stefania, Corsi, Anna Maria, Giallauria, Francesco, Guralnik, Jack M., Zuliani, Giovanni, Cattabiani, Chiara, Parrino, Stefano, Ablon

Journal:

Journal of Clinical Endocrinology & Metabolism

Year:

2011

Language:

english

File:

PDF, 76 KB

english, 2011

46

Long-term GNSS measurements from the northern Adria microplate reveal fault-induced fluid mobilization

Rossi, Giuliana, Zuliani, David, Fabris, Paolo

Journal:

Year:

2016

Language:

english

File:

PDF, 5.64 MB

english, 2016

47

[Computational Biology] Automated Reasoning for Systems Biology and Medicine Volume 30 || Opportunities and Challenges in Applying Artificial Intelligence to Bioengineering

Liò, Pietro, Zuliani, Paolo

Year:

2019

Language:

english

File:

PDF, 1.65 MB

english, 2019

48

Dysphagia in Nursing Home Residents: Management and Outcomes

Jukic Peladic, Nikolina, Orlandoni, Paolo, Dell'Aquila, Giuseppina, Carrieri, Barbara, Eusebi, Paolo, Landi, Francesco, Volpato, Stefano, Zuliani, Giovanni, Lattanzio, Fabrizia, Cherubini, Antonio

Journal:

Journal of the American Medical Directors Association

Year:

2018

Language:

english

File:

PDF, 256 KB

english, 2018

49

[ACM Press the 15th ACM international conference - Beijing, China (2012.04.17-2012.04.19)] Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control - HSCC '12 - Rare-event verification for stochastic hybrid systems

Zuliani, Paolo, Baier, Christel, Clarke, Edmund M.

Year:

2012

Language:

english

File:

PDF, 468 KB

english, 2012

50

[Computational Biology] Automated Reasoning for Systems Biology and Medicine Volume 30 || Using State Space Exploration to Determine How Gene Regulatory Networks Constrain Mutation Order in Cancer Evolution

Liò, Pietro, Zuliani, Paolo

Year:

2019

Language:

english

File:

PDF, 800 KB

english, 2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски